https://bookem.ir/books/2141307-Formal-Techniques-for-Networked-and-Distributed-Systems-FORTE-2003